Definable set - PDFSEARCH.IO - Document Search Engine

Definable set
Results: 16

#	Item
11	MFPS[removed]Continuity of Gödel’s system T definable Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-06-03 06:05:55 Mathematics Ordinal numbers Set theory Proof theory General topology Jensen hierarchy Ordinal arithmetic Mathematical logic Symbol Constructible universe
12	Matheology § 001 A matheologian is a man, or, in rare cases, a woman, who believes in thoughts that nobody can think, except, perhaps, a God, or, in rare cases, a Goddess. Add to Reading List Source URL: www.hs-augsburg.de Language: English - Date: 2013-10-26 02:12:40 Cardinal numbers Infinity Mathematical analysis Definable real number Axiom of choice Well-order Countable set Finite set Real number Mathematics Mathematical logic Set theory
13	A History of Interactions between Logic and Number Theory Lecture 1 Add to Reading List Source URL: modular.math.washington.edu Language: English - Date: 2006-10-17 01:47:09 Model theory Field theory Algebraic structures Mathematical structures Real algebraic geometry Strongly minimal theory Alfred Tarski P-adic number Definable set Abstract algebra Mathematics Algebra
14	fea-pillay.qxp[removed] Add to Reading List Source URL: www.ams.org Language: English - Date: 2000-11-14 11:13:29 Mathematics Strongly minimal theory Interpretation Structure Morley rank Definable set Real closed field Differentially closed field Type Model theory Mathematical logic Abstract algebra
15	Model Theory and Exponentiation Add to Reading List Source URL: www.ams.org Language: English - Date: 1999-03-08 15:14:53 Model theory Real algebraic geometry O-minimal theory Tarski–Seidenberg theorem Pfaffian function Real closed field Definable set Semialgebraic set Quantifier elimination Abstract algebra Mathematics Mathematical logic
16	PDF Document Add to Reading List Source URL: websupport1.citytech.cuny.edu Language: English - Date: 2005-10-20 13:52:02 Topology Algebraic topology Complexity classes Real algebraic geometry Mathematical structures O-minimal theory Strongly minimal theory Definable set Fiber bundle Mathematics Mathematical logic Model theory